A Logical Study on Qualitative Default Reasoning with Probabilities
نویسندگان
چکیده
Only very special subclasses of probability distributions can be used for qualitative reasoning that meets basic logical demands. Snow’s atomic bound systems (big-stepped probabilities) provide one positive example for such a subclass. This paper presents a thorough investigation of the formal logical relationships between qualitative and probabilistic default reasoning. We start with formalizing qualitative conditional logic, as well as both standard and big-stepped probabilistic logic as abstract logical systems, using the notion of institutions. The institution of big-stepped probabilities turns out to be a proper combination of the other two. Moreover, the framework of institutions offers the possibility to elaborate exactly the properties that make probability distributions suitable for qualitative reasoning.
منابع مشابه
Toward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty. Our aim is to develop a logical calculus that employs the basic elements of classical decision theory, namely probabilities, utilities and actions, but exploits qualitative information about these elements directly fo...
متن کاملProbability Distributions Over Possible Worlds
In Probabilistic Logic Nilsson uses the device of a probability distribution over a set of possible worlds to assign probabilities to the sentences of a logical language. In his paper Nilsson concen trated on inference and associated computational issues. This paper, on the other hand, exam ines the probabilistic semantics in more detail, .particularly for the case of first order languages, a...
متن کاملMining Default Rules from Statistical Data
In this paper, we are interested in the qualitative knowledge that underlies some given probabilistic information. To represent such qualitative structures, we use ordinal conditional functions, OCFs, (or ranking functions) as a qualitative abstraction of probability functions. The basic idea for transforming probabilities into ordinal rankings is to find well-behaved clusterings of the negativ...
متن کاملQualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling
This paper presents a formalism that combines useful properties of both logic and probabilities. Like logic, the formalism admits qualitative sentences and provides symbolic machinery for deriving deductively closed beliefs and, like probability, it permits us to express if-then rules with different levels of firmness and to retract beliefs in response to changing observations. Rules are interp...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کامل